effectual punishment